Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
881	AIJ 11th call for sponsorship applications Event INNS BIg Data Conference Interdisciplinary College IK 2015 IJCAI 2015 Workshop on Cognitive Knowledge Add to Reading List Source URL: aij.ijcai.org Language: English - Date: 2015-04-08 17:14:03 Computer science Logic programming International Joint Conference on Artificial Intelligence Actor model RuleML Symposium
882	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science
883	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
884	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
885	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
886	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
887	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
888	1 ADDENDUM to the Request for Proposals for Child Abuse and Neglect Prevention Research and Demonstration Projects Table of Contents Add to Reading List Source URL: www.cssp.org Language: English - Date: 2014-11-24 07:35:40 Auctioneering Outsourcing Procurement Request for proposal Sales Management Evidence-based practice Logic model Business Evaluation methods Evaluation
889	Conditional Circular Coinductive Rewriting with Case Analysis Joseph Goguen1 , Kai Lin1 , Grigore Rosu2 Department of Computer Science & Engineering University of California at San Diego, USA 2 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2003-01-31 19:38:39 Logic Logic in computer science Mathematical logic Model theory Rewriting Monad Structural induction Interpretation Mathematics Theoretical computer science Formal languages
890	Counting Affine Calculator and Applications Sven Verdoolaege INRIA Saclay — Île-de-France Parc Club Orsay Universite, ZAC des vignes 4 rue Jacques Monod, 91893 Orsay, France Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:23 Compiler optimizations Linear algebra Deduction Entailment Logical consequence Metalogic Transitive closure Polytope model FO Mathematics Algebra Logic

UPDATE